digraph G {
    margin=0;
    w [style=bold, label=<leave-01<BR/><FONT COLOR="red" FACE="helvetica">O2</FONT>>];
    r [label=<<FONT COLOR="red">O</FONT>>,fontname=helvetica];
    
    w->r [label="ARG0"];
}
